Developing Dependable Automotive Embedded Systems using the EAST-ADL
نویسندگان
چکیده
The complexity of embedded automotive systems calls for a more rigorous approach to system development compared to current state of practice. A critical issue is the management of the engineering information that defines the embedded system. The EAST-ADL is an architecture description language for automotive embedded systems. The language emphasizes information management as a basis for systematic design and verification. It is currently being refined in the ATESST project [1].
منابع مشابه
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
The architectural description language for automotive embedded systems EAST-ADL is presented in this paper. The aim of the EAST-ADL language is to provide a comprehensive systems modeling approach as a means to keep the engineering information within one structure. This facilitates systems integration and enables consistent systems analysis. The EAST-ADL encompasses structural information at di...
متن کاملAdvancing Traffic Efficiency and Safety through Software
2 Foreword Foreword How can the automotive-specific language EAST-ADL contribute in solving present challenges in the development of automotive systems? Cornerstones of high quality embedded systems are mature engineering techniques using model-based development and standardized, reliable architectures. Industrial experience shows that model-based development techniques are required in the auto...
متن کاملDeveloping Dependable Software-Intensive Systems: AADL vs. EAST-ADL
Dependable software-intensive systems, such as embedded systems for avionics and vehicles are often developed under severe quality, schedule and budget constraints. As the size and complexity of these systems dramatically increases, the architecture design phase becomes more and more significant in order to meet these constraints. The use of Architecture Description Languages (ADLs) provides an...
متن کاملTowards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT
A system’s architecture influence on the functions and other properties of embedded systems makes its highlevel analysis and verification very desirable. EAST-ADL is an architecture description language dedicated to automotive embedded system design with focus on structural and functional modeling. The behavioral description is not integrated within the execution semantics, which makes it harde...
متن کاملModel-checking and Model-based Testing of Automotive Embedded Systems Starting from the System Architecture
Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a development process that takes into account their complex features. In this context, architectural models have been introduced in system development as convenient ab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007